Event-driven simulation of digital circuits using modified Petri nets algorithm

2017 Internet Technologies and Applications (ITA) ◽

10.1109/itecha.2017.8101903 ◽

2017 ◽

Author(s):

Alexander Lapin ◽

Dmitry Bulakh ◽

Yuriy Vagapov

Keyword(s):

Digital Circuits ◽

Download Full-text

A Parametric Event-Driven Flowed Token Petri Nets for Generic Agile Systems Modeling and Control

2006 IEEE International Conference on Systems, Man and Cybernetics ◽

10.1109/icsmc.2006.384450 ◽

2006 ◽

Author(s):

Yuan-Chen Yu ◽

Yao-Te Hsieh

Keyword(s):

Systems Modeling ◽

Modeling And Control ◽

Event Driven ◽

Download Full-text

Verification of Event-Driven Process Chain with Timed Automata and Time Petri Nets

2017 9th IEEE-GCC Conference and Exhibition (GCCCE) ◽

10.1109/ieeegcc.2017.8448053 ◽

2017 ◽

Author(s):

Anam Amjad ◽

Farooque Azam ◽

Muhammad Waseem Anwar ◽

Wasi Haider Butt

Keyword(s):

Timed Automata ◽

Time Petri Nets ◽

Process Chain ◽

Download Full-text

Swim Lane Event-Driven Petri Nets

The Craft of Model-Based Testing ◽

10.1201/9781315204970-8 ◽

2017 ◽

pp. 167-190

Keyword(s):

Download Full-text

Colored Petri Nets to Verify Extended Event-Driven Process Chains

Lecture Notes in Computer Science - On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE ◽

10.1007/11575771_14 ◽

2005 ◽

pp. 183-201 ◽

Author(s):

Kees van Hee ◽

Olivia Oanea ◽

Natalia Sidorova

Keyword(s):

Colored Petri Nets ◽

Process Chains ◽

Download Full-text

Petri Nets for Dynamic Event-Driven System Modeling

Chapman & Hall/CRC Computer & Information Science Series - Handbook of Dynamic System Modeling ◽

10.1201/9781420010855.ch24 ◽

2007 ◽

pp. 24-1-24-17 ◽

Author(s):

Jiacun Wang

Keyword(s):

System Modeling ◽

Dynamic Event ◽

Driven System ◽

Download Full-text

Event-driven optimal control of continuous Petri nets

2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601) ◽

10.1109/cdc.2004.1428608 ◽

2004 ◽

Author(s):

J. Julvez ◽

A. Bemporad ◽

L. Recalde ◽

M. Silva

Keyword(s):

Optimal Control ◽

Event Driven ◽

Continuous Petri Nets

Download Full-text

A toolset for conformance testing against UML sequence diagrams based on event-driven colored Petri nets

International Journal on Software Tools for Technology Transfer ◽

10.1007/s10009-014-0354-x ◽

2014 ◽

Vol 18 (3) ◽

pp. 285-304 ◽

Author(s):

João Pascoal Faria ◽

Ana C. R. Paiva

Keyword(s):

Conformance Testing ◽

Colored Petri Nets ◽

Sequence Diagrams ◽

Download Full-text

Event-Driven Petri Nets

Modeling Software Behavior ◽

10.1201/b15296-9 ◽

2009 ◽

pp. 137-154 ◽

Keyword(s):

Download Full-text

Modelling digital circuits with delays by stochastic Petri nets

Microelectronics Reliability ◽

10.1016/0026-2714(85)90051-4 ◽

1985 ◽

Vol 25 (2) ◽

pp. 388

Keyword(s):

Digital Circuits ◽

Stochastic Petri Nets

Download Full-text

Probabilistic delay evaluation in combinational digital circuits by Petri Nets

Microelectronics Reliability ◽

10.1016/0026-2714(84)90078-7 ◽

1984 ◽

Vol 24 (5) ◽

pp. 992

Keyword(s):

Digital Circuits

Download Full-text