Deciding Finiteness of Petri Nets Up To Bisimulation.

Petr Jancar Javier Esparza

Published in: ICALP (1996)

Keyphrases

petri net
petri net model
high level petri nets
discrete event systems
manufacturing systems
colored petri nets
stochastic petri net
discrete dynamical systems
service composition
state machines
process model
genetic algorithm
business process
concurrent processes
fuzzy petri net