Place/transition nets with debit arcs

DOI10.1016/0020-0190(92)90076-8zbMath0743.68107OpenAlexW2103451702MaRDI QIDQ1186570

P. David Stotts, Parke Godfrey

Publication date: 28 June 1992

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(92)90076-8

zbMATH Keywords

Petri netsformal languagesplace/transition netsparallel computation modelautoma theorycolored netshigh-level nets

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Debits and Credits in Petri Nets and Linear Logic

Cites Work

• Unnamed Item
• Unnamed Item
• A theory of bipolar synchronization scheme
• Coloured Petri nets and the invariant-method
• Remarks on blind and partially blind one-way multicounter machines

This page was built for publication: Place/transition nets with debit arcs