IEEE - Institute of Electrical and Electronics Engineers, Inc. - Polynomial Sufficient Conditions of Well-Behavedness for Weighted Join-Free and Choice-Free Systems

2013 13th International Conference on Application of Concurrency to System Design (ACSD 2013)

Author(s): Jean-Marc Delosme ; Thomas Hujsa ; Alix Munier-Kordon
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 July 2013
Conference Location: Barcelona, Spain
Conference Date: 8 July 2013
Page(s): 90 - 99
ISBN (Electronic): 978-0-7695-5035-0
ISSN (Electronic): 1550-4808
DOI: 10.1109/ACSD.2013.12
Regular:

Join-Free Petri nets, whose transitions have at most one input place, model systems without synchronizations while Choice-Free Petri nets, whose places have at most one output transition, model... View More

Advertisement