A Process Calculus for Expressing Finite Place/Transition Petri Nets

Roberto Gorrieri Cristian Versari

Published in: EXPRESS (2010)

Keyphrases

production process
petri net model
petri net
discrete event systems
manufacturing systems
genetic algorithm
web services
knowledge representation
fuzzy logic
process model
service composition
representation scheme
state machines
colored petri nets