MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Place/Transition Systems." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

45 documents found, showing 1 through 10. Next 10 →

ATOM

Rule-Based Refinement for Place/Transition Systems: Preserving Liveness-Properties
by Maike Gajewsky, Julia Padberg, Milan Urbasek, M. Gajewsky, J. Padberg — 2001
…Rule-Based Renement for Place/Transition Systems: Preserving Liveness-Properties Maike Gajewsky…
Cited by 3 (2 self) – Add To MetaCart

A Compositional Partial Order Semantics for Petri Net Components
by Ekkart Kindler — 1996
… of processes for place/transition systems (partial order semantics). We show that the semantics is fully…
Cited by 28 (2 self) – Add To MetaCart

The Linear Algebra of Deadlock Avoidance — A Petri Net Approach
by Kurt Lautenbach, Hanno Ridder — 1996
… An algorithm is presented which prevents place/transition systems with finitely many states (boundedness) from…
Cited by 3 (0 self) – Add To MetaCart

Representing Place/Transition Nets in Span(Graph)
by Piergiulio Katis School, Piergiulio Katis, N. Sabadini — 1997 — Proceedings of the Sixth AMAST Conference, volume 1349 of Lecture Notes in Computer Science
… for associating to any Place/Transition system\Omega an expression \Psi\Omega in the algebra Span. The value…
Add To MetaCart

Representing Place/Transition Nets in Span(Graph)
by Piergiulio Katis, N. Sabadini — 1997 — Proceedings of the Sixth AMAST Conference, volume 1349 of Lecture Notes in Computer Science
… for associating to any Place/Transition system\Omega an expression \Psi\Omega in the algebra Span. The value…
Cited by 1 (0 self) – Add To MetaCart

The Dimensions of Petri Nets: The Petri Net Cube
by Ekkart Kindler, Michael Weber — 1998 — Bulletin of EATCS
… versions such as EN-Systems (Elementary Net Systems), P/TSystems (Place/Transition-Systems), Coloured…
Cited by 2 (1 self) – Add To MetaCart

Petri Nets as Multiset Rewriting Systems in a Linear Framework
by Iliano Cervesato — 1994
…/T ! systems with infinite markings : : : : : : : : : : : : : : : : : : : : : : : 18 3.3 Place/Transition nets…
Cited by 1 (1 self) – Add To MetaCart

On The Synchronic Structure of Transition Systems
by Luca Bernardinello, Giorgio De Michelis, Katia Petruni, Sebastiano Vigna, Giorgio De, Michelis Katia, Petruni Sebastiano Vigna, Milano Italia — 1994 — In "Structures in Concurrency Theory
… to axiomatise a class of transition systems corresponding to bounded place/transition nets without loops. 1…
Cited by 13 (0 self) – Add To MetaCart

LOOPN User Manual
by Charles A. Lakos, Ca Lakos — 1995
…. Petri Nets 1 2.1 Black and white nets 2 2.2 Condition-events net systems 3 2.3 Place-transition nets 5 2…
Cited by 15 (7 self) – Add To MetaCart

ESTL: A Temporal Logic for Events and States
by Ekkart Kindler, Tobias Vesper — 1998 — Lecture Notes in Computer Science
… for high-level Petri nets. Therefore, we start with the definition of ESTL for Place/Transition-systems 1…
Cited by 10 (1 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB