An NMF solution for the Petri Nets to State Charts case study at the TTC 2013

Electronic Proceedings in Theoretical Computer Science ◽

10.4204/eptcs.135.12 ◽

2013 ◽

Vol 135 ◽

pp. 95-100 ◽

Author(s):

Georg Hinkel ◽

Thomas Goldschmidt ◽

Lucia Happe

Keyword(s):

Download Full-text

A Comparative Case Study of Business Process Model with Petri Nets and Process Activity Diagram

International Journal of Computer Sciences and Engineering ◽

10.26438/ijcse/v6i11.565570 ◽

2018 ◽

Vol 6 (11) ◽

pp. 565-570

Author(s):

Aruna Devi .T ◽

Kumudavalli M.V ◽

Sudhamani .

Keyword(s):

Business Process ◽

Process Model ◽

Comparative Case Study ◽

Business Process Model ◽

Activity Diagram

Download Full-text

Integrating object-oriented design with Petri nets-case study of ATM system

SMC'03 Conference Proceedings. 2003 IEEE International Conference on Systems, Man and Cybernetics. Conference Theme - System Security and Assurance (Cat. No.03CH37483) ◽

10.1109/icsmc.2003.1244624 ◽

2004 ◽

Author(s):

B. Mikolajczak ◽

C. Sefranek

Keyword(s):

Object Oriented ◽

Object Oriented Design

Download Full-text

Building insightful simulation models using formal approaches — A case study on Petri Nets

Proceedings of the 2009 Winter Simulation Conference (WSC) ◽

10.1109/wsc.2009.5429717 ◽

2009 ◽

Author(s):

Durk-Jouke van der Zee

Keyword(s):

Simulation Models

Download Full-text

Case Study of Reactive and Embedded System Design Modeled with Petri Nets

2018 IEEE International Conference on Automation/XXIII Congress of the Chilean Association of Automatic Control (ICA-ACCA) ◽

10.1109/ica-acca.2018.8609789 ◽

2018 ◽

Author(s):

Orlando Micolini ◽

Luis Orlando Ventre ◽

Mauricio Ludemann ◽

Juan Ignacio Resiale Viano ◽

Christopher Carlos Bien

Keyword(s):

Embedded System ◽

System Design ◽

Embedded System Design

Download Full-text

Modeling and development of an ARENA® interface for Petri Nets. A case study in a Colombian cosmetics company

2008 Winter Simulation Conference ◽

10.1109/wsc.2008.4736212 ◽

2008 ◽

Author(s):

Gonzalo Mejia ◽

Diego Martinez ◽

Fidel Torres

Keyword(s):

Download Full-text

A Case Study in Defining Colored Petri Nets Based Model Driven Development of Enterprise Service Oriented Architectures

2009 42nd Hawaii International Conference on System Sciences ◽

10.1109/hicss.2009.3 ◽

2009 ◽

Keyword(s):

Colored Petri Nets ◽

Service Oriented Architectures ◽

Model Driven Development ◽

Model Driven ◽

Service Oriented

Download Full-text

Behavioral Characteristics of Electromechanical Products and Their Representation Based on a Modified Petri Net

Applied Mechanics and Materials ◽

10.4028/www.scientific.net/amm.37-38.222 ◽

2010 ◽

Vol 37-38 ◽

pp. 222-225

Author(s):

Hua Bo He ◽

Ke Wang

Keyword(s):

Conceptual Design ◽

Petri Net ◽

Behavioral Effect ◽

Behavioral Characteristics ◽

Behavioral Characteristic ◽

Electromechanical Products ◽

Behavior Characteristics

Behavioral characteristic is one of the important targets in conceptual design and re-design of electromechanical products. To summarize the knowledge of behavior characteristics of electromechanical products, this paper proposed the concepts of behavioral effect, elemental behavior and behavioral chain. It made the modification to classical Petri nets, then analyzed and expressed the behavior characteristics using the modified Petri nets. Finally, a case study of an electric nail-gun was conducted to demonstrate the feasibility of the proposed methodologies.

Download Full-text

Adapting Models to Model Checkers, A Case Study : Analysing AADL Using Time or Colored Petri Nets

2009 IEEE/IFIP International Symposium on Rapid System Prototyping ◽

10.1109/rsp.2009.30 ◽

2009 ◽

Author(s):

X. Renault ◽

F. Kordon ◽

J. Hugues

Keyword(s):

Colored Petri Nets

Download Full-text

Supply chain modelling and managing, using timed coloured Petri nets: a case study

International Journal of Production Research ◽

10.1080/00207543.2011.639397 ◽

2012 ◽

Vol 50 (16) ◽

pp. 4718-4733 ◽

Author(s):

Giovanni Mazzuto ◽

Maurizio Bevilacqua ◽

Filippo Emanuele Ciarapica

Keyword(s):

Supply Chain ◽

Coloured Petri Nets

Download Full-text

Petri nets and autonomous systems: A case study

2009 IEEE Conference on Emerging Technologies & Factory Automation ◽

10.1109/etfa.2009.5347087 ◽

2009 ◽

Author(s):

Guilherme Eduardo Leite ◽

Norian Marranghello ◽

Aledir Silveira Pereira

Keyword(s):

Autonomous Systems

Download Full-text