For the most recent entries see the
Petri Nets Newsletter.
Keyword: occurrence net
On Deriving Logic Functions of Asynchronous Circuits by STG Unfoldings.
An Efficient Algorithm for Deriving Logic Functions of Asynchronous Circuits.
An Efficient Method to Derive Logic from Signal Transition Graphs for Asynchronous Circuits.
Concurrency as a Modality.
A Fully Abstract Model for Concurrent Nondeterministic Processes Based on Posets with Non-Actions.
Nets of Places and Links: a Coherent Presentation of Petri Nets for System Modeling.
On the Topological Structures of Nets.
Recent Results on Natural Orders.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography