On Distributability of Petri Nets (extended abstract)

Select |




Print


van Glabbeek, Robert; Goltz, Ursula; Schicke-Uffmann, Jens-Wolfhard

van Glabbeek, Robert; Goltz, Ursula; Schicke-Uffmann, Jens-Wolfhard


2012-03-26


Conference Material


15th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS)


Tallinn, Estonia


331--345


We formalise a general concept of distributed systems as sequential components interacting asynchronously. We define a corresponding class of Petri nets, called LSGA nets, and precisely characterise those system specifications which can be implemented as LSGA nets up to branching ST-bisimilarity with explicit divergence.


Springer


reactive systems, Petri nets, distributed systems, asynchronous interaction, equivalence notions


http://www.etaps.org/2012/fossacs


0302-9743


nicta:1959


van Glabbeek, Robert; Goltz, Ursula; Schicke-Uffmann, Jens-Wolfhard. On Distributability of Petri Nets (extended abstract). In: Lars Birkedal Editor, editor/s. 15th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS); Tallinn, Estonia. Springer; 2012-03-26. 331--345.



Loading citation data...

Citation counts
(Requires subscription to view)