A New Class of Petri Nets for Modeling and Property Verification of Switched Stochastic Systems

2015 ◽  
Vol 45 (7) ◽  
pp. 1087-1100 ◽  
Author(s):  
Zuohua Ding ◽  
Yuan Zhou ◽  
Mingyue Jiang ◽  
MengChu Zhou
Keyword(s):  
Petri Nets ◽  
Stochastic Systems ◽  
New Class ◽  
Switched Stochastic Systems ◽  
Property Verification

Merging and Splitting Petri Net Models within Distributed Embedded Controller Design

2013 ◽  
pp. 160-183 ◽  
Author(s):  
Luis Gomes ◽  
Anikó Costa ◽  
João Paulo Barros ◽  
Filipe Moutinho ◽  
Fernando Pereira
Keyword(s):  
Petri Nets ◽  
Petri Net ◽  
Code Generation ◽  
Controller Design ◽  
Output Place ◽  
Time Domains ◽  
Splitting Operation ◽  
Embedded Controller ◽  
Automatic Code ◽  
Property Verification

Design of distributed embedded controllers can benefit from the adoption of a model-based development attitude, where Petri nets modeling can provide support for a comprehensive specification and documentation of the system together with verification capabilities and automatic deployment into implementation platforms. This chapter presents a Petri nets-based development flow based on composition and decomposition of Petri net models, using Input-Output Place-Transition Petri nets (IOPT nets) as the underlying formalism, allowing reusability of models in new situations through a net addition operation, as well as partitioning of the model into components using a net splitting operation. Distributed embedded controllers are addressed adding the concept of time domains to IOPT nets. Finally, a tool chain framework is presented supporting the whole development process, from specification to implementation, including property verification, simulation, and automatic code generation for deployment into implementation platforms (considering hardware-based implementation and VHDL coding or software-oriented implementation and C coding).

Extremely Fast Heuristic Event-Driven Job Shop Scheduler With a New Class of Extended Petri Nets

2021 ◽  
pp. 512-539
Author(s):  
Alexander Kostin
Keyword(s):  
Petri Nets ◽  
Petri Net ◽  
Dynamic Models ◽  
Job Shop ◽  
Scheduling System ◽  
New Class ◽  
Extended Petri Nets ◽  
Close Cooperation ◽  
Single Processor ◽  
Unique Mechanism

A very fast scheduling system is proposed and experimentally investigated. The system consists of a job shop manager and dynamic models of machines. A schedule is created in the course of a close cooperation with models of the machines that generate driving events for the scheduler. The system is implemented with a new class of extended Petri nets and runs in the environment of the Petri-net tool WINSIM. The scheduler creates a schedule sequentially, without any form of enumerative search. To investigate the scheduler performance, a large number of experiments were conducted with the use of few strategies. Due to a unique mechanism of monitoring of triggering events in the Petri net, the developed scheduler runs at least hundreds of times faster than any known single-processor job shop scheduler.

Sign in / Sign up

Export Citation Format

Share Document