CPN Tools-Assisted Simulation and Verification of Nested Petri Nets
<p>Nested Petri nets (NP-nets) are an extension of Petri net formalism within the “netswithin-nets” approach, when tokens in a marking are Petri nets, which have an autonomous behavior and are synchronized with the system net. The formalism of NP-nets allows modeling multi-level multi-agent sy...
Main Authors: | L. W. Dworza´nski, I. A. Lomazova |
---|---|
Format: | Article |
Language: | English |
Published: |
Yaroslavl State University
2012-01-01
|
Series: | Моделирование и анализ информационных систем |
Subjects: | |
Online Access: | http://mais-journal.ru/jour/article/view/61 |
Similar Items
-
CPN Tools-Assisted Simulation and Verification of Nested Petri Nets
by: L. W. Dworza´nski, et al.
Published: (2015-03-01) -
Remarks on the Reachability Graphs of Petri Nets
by: Yuriy Anatol’yevich Belov
Published: (2022-12-01) -
Object-Centric Replay-Based Conformance Checking: Unveiling Desire Lines and Local Deviations
by: Julio C Carrasquel, et al.
Published: (2021-06-01) -
Analysis and Verification of Message Sequence Charts of Distributed Systems with the Help of Coloured Petri Nets
by: S. A. Chernenok, et al.
Published: (2014-12-01) -
On the Decidability of Soundness of Workflow Nets with an Unbounded Resource
by: V. A. Bashkin, et al.
Published: (2013-08-01)