An Improved Construction of Petri Net Unfoldings

An Improved Construction of Petri Net Unfoldings

Bibliographic Details
Main Authors:	Rodríguez, C, Schwoon, S
Format:	Conference item
Published:	Leibniz−Zentrum für Informatik 2013

Similar Items

Efficient unfolding of contextual Petri nets
by: Baldan, P, et al.
Published: (2012)

Cunf: A Tool for Unfolding and Verifying Petri Nets with Read Arcs
by: Rodríguez, C, et al.
Published: (2013)

Verification of Petri Nets with Read Arcs
by: Rodríguez, C, et al.
Published: (2012)

Verification of Petri Nets with Read Arcs
by: Rodríguez, C, et al.
Published: (2012)

Translation of Nested Petri Nets into Classical Petri Nets for Unfoldings Verification
by: V. O. Ermakova, et al.
Published: (2018-10-01)

Verification Based on Unfoldings of Petri Nets with Read Arcs
by: Rodríguez, C
Published: (2013)

Construction and SAT−based verification of Contextual Unfoldings
by: Schwoon, S, et al.
Published: (2011)

Petri Net Unfolding-Based Detection and Replay of Program Deadlocks
by: Faming Lu, et al.
Published: (2024-01-01)

An Incremental and Backward-Conflict Guided Method for Unfolding Petri Nets
by: Dongming Xiang, et al.
Published: (2021-02-01)

Efficient Contextual Unfolding
by: Rodríguez, C, et al.
Published: (2011)

Construct the closed-form solution of -net of Petri nets by case study
by: Daniel Yuh Chao, et al.
Published: (2017-02-01)

Constructing Petri Net State Equation for Ladder Diagram
by: Lee, Gi Bum, et al.
Published: (2002-08-01)

Petri Net Language
by: Hack, Michel Henri Théodore
Published: (2023)

Modeling by Petri Nets
by: H. Kubátová
Published: (2005-01-01)

PetriNet Editor + PetriNet Engine: New Software Tool For Modelling and Control of Discrete Event Systems Using Petri Nets and Code Generation
by: Erik Kučera, et al.
Published: (2020-10-01)

Analysis of timed petri nets for reachability in construction applications/Petri laiko tinklų pasiekiamumo taikymo statyboje analizė
by: Khaled Nassar, et al.
Published: (2008-09-01)

Petri nets and manufacturing systems /
by: Hinrichs, Ruth, editor
Published: (2015)

Automation of petri nets simulation/
by: Nuzulan Naim Zulkipli, 1983-, et al.
Published: (2016)

Grammars controlled by petri nets
by: Dassow, Juergen, et al.
Published: (2012)

Priced Timed Petri Nets
by: Richard M. Mayr, et al.
Published: (2013-11-01)

Structurally Cyclic Petri Nets
by: Drewes Frank, et al.
Published: (2015-12-01)

Separators in Continuous Petri Nets
by: Michael Blondin, et al.
Published: (2024-02-01)

Decidability questions for Petri Nets.
by: Hack, Michel Henri Théodore
Published: (2005)

T-invariants for jumping Petri nets
by: Cristian Vidrascu
Published: (2001-12-01)

Decidability Questions for Petri Nets
by: Hack, Michel Henri Théodore
Published: (2023)

Petri Nets with Time and Cost
by: Parosh Aziz Abdulla, et al.
Published: (2013-02-01)

Ordinary Petri Net Matrices
by: Staines Anthony Spiteri
Published: (2019-01-01)

Compound Petri nets and alternatives aggregation Petri nets: Two formalisms for decision-making support
by: Juan-Ignacio Latorre-Biel, et al.
Published: (2016-11-01)

Modules of Petri nets and new Petri net structure: Arcs with a weighted function set
by: Rongming Zhu, et al.
Published: (2019-03-01)

Constructing an abstract model for ladder diagram diagnosis using petri nets/
by: 496790 Tsai, Jui-I, et al.

A Method of Sample Models of Program Construction in Terms of Petri Nets
by: D. I. Kharitonov, et al.
Published: (2015-08-01)

Improving Synchronous Dataflow Analysis Supported by Petri Net Mappings
by: José-Inácio Rocha, et al.
Published: (2018-12-01)

Implementation of a complete prefix unfolder for contextual nets
by: Rodríguez, C
Published: (2010)

A Survey of Petri Net Tools
by: Thong, Weng Jie, et al.
Published: (2015)

The logical view on continuous petri net
by: Haase, CJ, et al.
Published: (2017)

Discrete, continuous, and hybrid Petri Nets /
by: David, Rene, 1939-, et al.
Published: (2005)

Petri nets in flexible and agile automation /
by: Zhou, MengChu
Published: (1995)

Petri net theory and the modeling of systems/
by: 276066 Peterson, James L.
Published: (1981)

Languages of Watson-Crick Petri net
by: Mohamad Jan, Nurhidaya, et al.
Published: (2014)

Reverse Watson-Crick Petri nets
by: Mohamad Jan, Nurhidaya, et al.
Published: (2014)