scientific article; zbMATH DE number 3982529

MaRDI QIDQ3746897zbMATH OpenFDO

Authors P. S. Thiagarajan, Grzegorz Rozenberg

Publication date 1986

zbMATH Keywords

behaviour of distributed systemssafe Petri nets

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theory of operating systems (68N25)

Recommendations

• scientific article; zbMATH DE number 3922334
• scientific article; zbMATH DE number 3885321
• Structure theory of Petri nets
• Introduction to Petri nets
• scientific article; zbMATH DE number 5762567

Cited in

(74)

• A theory of bipolar synchronization scheme
• A generic causal model for place latency.
• Linear properties of zero-safe nets with debit tokens
• scientific article; zbMATH DE number 1424446 (Why is no real title available?)
• scientific article; zbMATH DE number 4074506 (Why is no real title available?)
• Vocabulary Petri nets
• scientific article; zbMATH DE number 4024801 (Why is no real title available?)
• scientific article; zbMATH DE number 4035157 (Why is no real title available?)
• Structure theory of Petri nets
• Drawing the line: basin boundaries in safe Petri nets
• Composantes préconservatives minimales d'un réseau de Petri : étude structurelle
• scientific article; zbMATH DE number 3922334 (Why is no real title available?)
• An interpretation of CCS into ludics
• scientific article; zbMATH DE number 1836396 (Why is no real title available?)
• Petri nets with structured data
• scientific article; zbMATH DE number 4041346 (Why is no real title available?)
• Nadia Busi (1968–2007)
• Partial (set) 2-structures. I: Basic notions and the representation problems
• Partial (set) 2-structures. II: State spaces of concurrent systems
• Typed event structures and the linear \(\pi \)-calculus
• Petri nets as bitopological spaces
• scientific article; zbMATH DE number 3980497 (Why is no real title available?)
• Occurrence nets then and now: the path to structured occurrence nets
• scientific article; zbMATH DE number 47135 (Why is no real title available?)
• scientific article; zbMATH DE number 1304239 (Why is no real title available?)
• Probabilistic \(\pi\)-calculus and event structures
• Structure matrices for Petri nets and their applications
• On the border of causality: contact and confusion
• scientific article; zbMATH DE number 4092786 (Why is no real title available?)
• scientific article; zbMATH DE number 3976355 (Why is no real title available?)
• scientific article; zbMATH DE number 3870604 (Why is no real title available?)
• Petri nets based on Lawvere theories
• scientific article; zbMATH DE number 17543 (Why is no real title available?)
• scientific article; zbMATH DE number 1973117 (Why is no real title available?)
• scientific article; zbMATH DE number 4035161 (Why is no real title available?)
• 1-safe Petri nets generating every binary \(n\)-vector exactly once
• scientific article; zbMATH DE number 4049069 (Why is no real title available?)
• scientific article; zbMATH DE number 4066341 (Why is no real title available?)
• scientific article; zbMATH DE number 4070337 (Why is no real title available?)
• scientific article; zbMATH DE number 4045168 (Why is no real title available?)
• On a homomorphism of a component Petri net
• scientific article; zbMATH DE number 4001494 (Why is no real title available?)
• The formalization of decision-free Petri net
• Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation
• An algebraic characterization of independence of Petri net processes
• A characterization of set representable labeled partial 2-structures through decompositions
• Characterisation of pasting system using array token Petri nets
• Petri nets with persistence
• Confusion control in generalized Petri nets using synchronized events
• scientific article; zbMATH DE number 4043256 (Why is no real title available?)
• Process versus unfolding semantics for Place/Transition Petri nets
• scientific article; zbMATH DE number 4035160 (Why is no real title available?)
• Petri net distributability
• scientific article; zbMATH DE number 4076638 (Why is no real title available?)
• Event structures and trace monoids
• Some behavioural aspects of net theory
• scientific article; zbMATH DE number 744053 (Why is no real title available?)
• scientific article; zbMATH DE number 1820097 (Why is no real title available?)
• Advances in Petri nets 1993. APN 93
• Toward uniform random generation in 1-safe Petri nets
• Confusion analysis and detection for workflow nets
• scientific article; zbMATH DE number 4043257 (Why is no real title available?)
• Determinism \(\to\) (event structure isomorphism \(=\) step sequence equivalence)
• On occurrence net semantics for petri nets with contacts
• scientific article; zbMATH DE number 3878371 (Why is no real title available?)
• Causal behaviours and nets
• scientific article; zbMATH DE number 3958739 (Why is no real title available?)
• scientific article; zbMATH DE number 4024802 (Why is no real title available?)
• scientific article; zbMATH DE number 4031000 (Why is no real title available?)
• scientific article; zbMATH DE number 4037216 (Why is no real title available?)
• scientific article; zbMATH DE number 4085040 (Why is no real title available?)
• scientific article; zbMATH DE number 4085041 (Why is no real title available?)
• scientific article; zbMATH DE number 3885321 (Why is no real title available?)
• On particular class of location-transition Petri nets: state machine

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3746897)