Abstract
An interval operational semantics - in a form of interval sequences and step sequences - is introduced for elementary activator nets, and a relationship between inhibitor and activator nets is discussed. It is known that inhibitor and activator nets can simulate themselves for both standard firing sequence semantics and firing step sequence semantics. This paper shows that inhibitor and activator nets are not equivalent with respect to interval sequence and interval step sequence semantics, however, in some sense, they might be interpreted as equivalent with respect to pure interval order operational semantics.
Partially supported by Discovery NSERC Grant of Canada.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
When the inhibitor arc \((b,B_c)\) is removed from the net \(IN^1\) of Fig. 3, the interval sequence \(B_aE_aB_bB_cE_bE_c\) is a proper firing sequence of this new \(N^1\) and \(\blacktriangleleft _{B_aE_aB_bB_cE_bE_c}=\prec ^{strat}_{\lnot IN}\), but the stratified order \(\prec ^{strat}_{\lnot IN}\) is not expected to be a behaviour generated by the net IN. See [18] for details.
- 2.
It can easily be shown that \(m[\![\{B_{a_1},\ldots ,B_{a_k}\}\rangle \!\rangle _{IN}m' \iff m[\![B_{a_{i_1}}\rangle \!\rangle _{IN}\ldots \) \([\![B_{a_{i_k}}\rangle \!\rangle _{IN} m'\) for any permutation \(l_1,\ldots ,l_k\) of \(1,\ldots ,k\), which is not true for \([\![...\rangle \!\rangle _{AN}\).
References
Allen, J.F.: Maintaining knowledge about temporal intervals. Commun. ACM 26, 832–843 (1983)
Agerwala, T., Flynn, M.: Comments on capabilities, limitations and “correctness” of Petri nets. Comput. Archit. News 4(2), 81–86 (1973)
Baldan, P., Busi, N., Corradini, A., Pinna, G.M.: Domain and event structure semantics for Petri nets with read and inhibitor arcs. Theor. Comp. Science 323, 129–189 (2004)
Best, E., Devillers, R.: Sequential and concurrent behaviour in Petri net theory. Theor. Comput. Sci. 55, 97–136 (1987)
Best, E., Koutny, M.: Petri net semantics of priority systems. Theor. Comput. Sci. 94, 141–158 (1992)
Busch, P.: The time-energy uncertainty relation. In: Muga, G., Mayato, S., Egusquiza, I. (eds.) Time in Quantum Mechanics. Lecture Notes in Physics, vol. 734. Springer, Heidelberg (2008). https://doi.org/10.1007/978-3-540-73473-4_3
Desel, J., Reisig, W.: Place/transition Petri nets. In: Reisig, W., Rozenberg, G. (eds.) ACPN 1996. LNCS, vol. 1491, pp. 122–173. Springer, Heidelberg (1998). https://doi.org/10.1007/3-540-65306-6_15
Fishburn, P.C.: Intransitive indifference with unequal indifference intervals. J. Math. Psychol. 7, 144–149 (1970)
Fishburn, P.C.: Interval Orders and Interval Graphs. John Wiley, New York (1985)
Goltz, U., Reisig, W.: The non-sequential behaviour of Petri nets. Inf. Control 57(2), 125–147 (1983)
Hoare, C.A.R.: Communicating sequential processes. Commun. ACM 26(1), 100–106 (1983)
Jammer, M.: The Philosophy of Quantum Mechanics. John Wiley, New York (1974)
Janicki, R.: Modeling operational semantics with interval orders represented by sequences of antichains. In: Khomenko, V., Roux, O.H. (eds.) PETRI NETS 2018. LNCS, vol. 10877, pp. 251–271. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-91268-4_13
Janicki, R., Kleijn, J., Koutny, M., Mikulski, Ł.: Step traces. Acta Inform. 53, 35–65 (2016)
Janicki, R., Koutny, M.: Structure of concurrency. Theor. Comput. Sci. 112, 5–52 (1993)
Janicki, R., Koutny, M.: Semantics of inhibitor nets. Inf. Comput. 123(1), 1–16 (1995)
Janicki, R., Koutny, M.: Operational semantics, interval orders and sequences of antichains. Fundamenta Informaticae (2019, to appear)
Janicki, R., Yin, X.: Modeling concurrency with interval orders. Inf. Comput. 253, 78–108 (2017)
Janicki, R., Yin, X., Zubkova, N.: Modeling interval order structures with partially commutative monoids. In: Koutny, M., Ulidowski, I. (eds.) CONCUR 2012. LNCS, vol. 7454, pp. 425–439. Springer, Heidelberg (2012). https://doi.org/10.1007/978-3-642-32940-1_30
Kleijn, J., Koutny, M.: Process semantics of general inhibitor nets. Inf. Comput. 190, 18–69 (2004)
Kleijn, J., Koutny, M.: Formal languages and concurrent behaviour. Stud. Comput. Intell. 113, 125–182 (2008)
Mazurkiewicz, A.: Introduction to Trace Theory. In: Diekert V., Rozenberg, G. (eds.) The Book of Traces, pp. 3–42. World Scientific, Singapore (1995)
Milner, R.: Communication and Concurrency. Prentice-Hall, Upper Saddle River (1989)
Montanari, U., Rossi, F.: Contextual nets. Acta Informatica 32(6), 545–596 (1995)
Murata, T.: Petri nets: properties, analysis and applications. Proc. IEEE 77(4), 541–579 (1989)
Nielsen, M., Rozenberg, G., Thiagarajan, P.S.: Behavioural notions for elementary net systems. Distrib. Comput. 4, 45–57 (1990)
Petri, C.A.: Nets, time and space. Theor. Comput. Sci. 153, 3–48 (1996)
Popova-Zeugmann, L., Pelz, E.: Algebraical characterisation of interval-timed Petri nets with discrete delays. Fundamenta Informaticae 120(3–4), 341–357 (2012)
Rozenberg, G., Engelfriet, J.: Elementary net systems. In: Reisig, W., Rozenberg, G. (eds.) ACPN 1996. LNCS, vol. 1491, pp. 12–121. Springer, Heidelberg (1998). https://doi.org/10.1007/3-540-65306-6_14
van Glabbeek, R., Vaandrager, F.: Petri net models for algebraic theories of concurrency. In: de Bakker, J.W., Nijman, A.J., Treleaven, P.C. (eds.) PARLE 1987. LNCS, vol. 259, pp. 224–242. Springer, Heidelberg (1987). https://doi.org/10.1007/3-540-17945-3_13
Vogler, W.: Partial order semantics and read arcs. Theor. Comput. Sci. 286(1), 33–63 (2002)
Wiener, N.: A contribution to the theory of relative position. Proc. Camb. Philos. Soc. 17, 441–449 (1914)
Zuberek, W.M.: Timed Petri nets and preliminary performance evaluation. In: Proceedings of the 7-th Annual Symposium on Computer Architecture, La Baule, France, pp. 89–96 (1980)
Acknowledgment
The author gratefully acknowledges three anonymous referees for their helpful comments.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this paper
Cite this paper
Janicki, R. (2019). On Interval Semantics of Inhibitor and Activator Nets. In: Donatelli, S., Haar, S. (eds) Application and Theory of Petri Nets and Concurrency. PETRI NETS 2019. Lecture Notes in Computer Science(), vol 11522. Springer, Cham. https://doi.org/10.1007/978-3-030-21571-2_12
Download citation
DOI: https://doi.org/10.1007/978-3-030-21571-2_12
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-21570-5
Online ISBN: 978-3-030-21571-2
eBook Packages: Computer ScienceComputer Science (R0)